void __attribute__((__interrupt__)) _INT0Interrupt(void);

